html {
	height: 100%;
	margin-bottom: 1px;
}

BODY {
   /* set more book-like margins; it would be nice to align this more closely
    * to a quarto or something, but the format may not be so nice on smaller
    * screens */
	margin-left: 1in;
   margin-right: 1in;

   /* set more book-like line height */
   line-height: 1.5em;

	background-color: #FFFFFF;
	font-family: "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
	color: #333333;
}

A {
	color: #314c83;
	text-decoration: none!important;
}

A:hover {
	color: #314c83;
	text-decoration: underline!important;
}

H2 {
	font-size: 18pt;
	margin: 0 0 0 0px;
}

h2.title {
	font-size: 16pt;
	font-weight: normal;
	color: #5c5797;
}

/* Docbook stylings */

.legalnotice {
   font-size: small;
}

.programlisting {
   font-size: 10pt;
   line-height: 1.30em; /* make this more offset */
}

span.inlinemediaobject {
   padding: 10px;
   text-align: center;
}

span.italic {
   font-style: oblique;
}
/* End Docbook styles */